One can easily check that conjugation by " a " is a group automorphism.
2.
It has been conjectured that if " p " is a prime dividing k-\ lambda and not dividing " v ", then the group automorphism defined by g \ mapsto g ^ p fixes some translate of " D " ( this is equivalent to being a multiplier ).